9 results
3 - Application ofComputable Distributions to the Semantics of Probabilistic Programs
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 75-120
-
- Chapter
-
- You have access
- Open access
- Export citation
Hoare type theory, polymorphism and separation1
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 02 September 2008, pp. 865-911
-
- Article
-
- You have access
- Export citation
Monadic regions
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 485-545
-
- Article
-
- You have access
- Export citation
“Language-Based Security”
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, p. 129
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, pp. i-ii
-
- Article
-
- You have access
- Export citation
Stack-based typed assembly language
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 957-959
-
- Article
-
- You have access
- Export citation
Compiling for template-based run-time code generation
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 677-708
-
- Article
-
- You have access
- Export citation
Intensional polymorphism in type-erasure semantics
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 6 / November 2002
- Published online by Cambridge University Press:
- 06 November 2002, pp. 567-600
-
- Article
-
- You have access
- Export citation
Stack-based typed assembly language
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 1 / January 2002
- Published online by Cambridge University Press:
- 09 January 2002, pp. 43-88
-
- Article
-
- You have access
- Export citation